Game Development Using Design-by-Contract

نویسندگان

  • Richard F. Paige
  • Triston S. Attridge
  • Phillip J. Brooke
چکیده

There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based presentation that lightweight formal methods are effective in building realistic networked multiplayer games. The evidence is produced via a pilot study that uses Design-by-Contract, under realistic game development conditions, and encompasses both qualitative and empirical results.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Coordinating a decentralized supply chain with a stochastic demand using quantity flexibility contract: a game-theoretic approach

  Supply chain includes two or more parties linked by flow of goods, information, and funds. In a decentralized system, supply chain members make decision regardless of their decision's effects on the performance of the other members and the entire supply chain. This is the key issue in supply chain management, that the mechanism should be developed in which different objectives should be align...

متن کامل

Coordinating a Seller-Buyer Supply Chain with a Proper Allocation of Chain’s Surplus Profit Using a General Side-Payment Contract

In this paper, seller-buyer supply chain coordination with general side-payment contracts is introduced to gain the maximum possible chain profit. In our model, the logistics costs for both buyer and seller are considered and the final demand is also supposed to be a decreasing function of the retail price. Since parties aim to maximize their individual profits, the contractual parameters are s...

متن کامل

Solving a Two-Period Cooperative Advertising Problem Using Dynamic Programming

Cooperative advertising is a cost-sharing mechanism in which a part of retailers' advertising investments are financed by the manufacturers. In recent years, investment among advertising options has become a difficult marketing issue. In this paper, the cooperative advertising problem with advertising options is investigated in a two-period horizon in which the market share in the second period...

متن کامل

Modeling and Numerical Analysis of Revenue Sharing Contract Based on the Stackelberge Game Theory

Considered supply chain in this article consists of one vendor and multiple retailers where the vendor applies vendor managed inventory. Considering vendor as a leader and retailers as followers, Stackelberg game theory is applied for modeling and analyzing this system. A general mixed integer nonlinear model is developed which can optimizes the performance of the system under revenue sharing c...

متن کامل

Identifying and prioritizing the effective factors in the development of games and sports for elderly

 Introduction: Participation of the elderly in leisure sports activities with a game approach, leads to improving their quality of  life and by creating motivation and hope, moderates the inertia created in old age. The aim of this study was to identify and prioritize the effective factors in the development of games and sports for the elderly. Methods: The present study was conducted with a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Journal of Object Technology

دوره 5  شماره 

صفحات  -

تاریخ انتشار 2006